class DATABUCKET{K,E} < $BUCKET{K,DATABUCKET{K,E}} |
---|
**** | An addition to BUCKET{K} this class also adds data. |
$BUCKET{_,_} | $NEXT{_} | NEXT{_} |
attr data: E; |
---|
attr item: K; |
---|
attr next:T; .. Included as next |
---|
**** | Pointer to next element in list, if any. |
attr data: E; |
---|
attr item: K; |
---|
attr next:T; .. Included as next |
---|
**** | Pointer to next element in list, if any. |
append(l:T) .. Included as append |
---|
**** | Append the list `l' to the end of the list self. self may not be void but `l' may be. |
copy_list: SAME |
---|
create(k:K): SAME |
---|
create(k:K,e:E): SAME |
---|
create(k:K,e:E,n:SAME): SAME |
---|
insert(e:T) .. Included as insert |
---|
**** | Insert the single element `e' after self. Neither may be void, `e.next' must be void. |
size:INT .. Included as size |
---|
**** | The number of elements in the list starting with self. Self may be void. |
list!: SAME |
---|
**** | Yields all subsequent elements in the list. |